#include "types.h"
#include "stat.h"
#include "user.h"

int main(){
  int *x;
  int i;
  for(i=0; i<10000; i++)
    x = malloc(sizeof(int));
  *x = 55;
  
  exit();
  return 0;
}